raspberry - DiceCTF 2023